Journal of Automated Reasoning
Journal of Automated Reasoning > 2019 > 63 > 3 > 695-722
Journal of Automated Reasoning > 2019 > 63 > 3 > 557-595
Journal of Automated Reasoning > 2019 > 63 > 3 > 597-623
Journal of Automated Reasoning > 2019 > 63 > 3 > 723-762
Journal of Automated Reasoning > 2019 > 63 > 3 > 787-808
Journal of Automated Reasoning > 2019 > 63 > 3 > 539-555
Journal of Automated Reasoning > 2019 > 63 > 3 > 763-786
Journal of Automated Reasoning > 2019 > 63 > 3 > 625-665
Journal of Automated Reasoning > 2019 > 63 > 3 > 667-693